(define (problem p16)
  (:domain blocks_world)
  (:objects b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16)
  (:init
    (on b1 b9)
    (on b2 b1)
    (on b3 b13)
    (on b4 b2)
    (on b6 b14)
    (on b7 b16)
    (on b8 b3)
    (on b9 b8)
    (on b10 b7)
    (on b11 b12)
    (on b12 b6)
    (on b14 b10)
    (on b15 b11)
    (clear b4)
    (clear b5)
    (on-table b5)
    (on-table b13)
    (clear b15)
    (on-table b16))
  (:goal (and
    (on b1 b13)
    (on b3 b10)
    (on b4 b1)
    (on b5 b15)
    (on b6 b2)
    (on b9 b12)
    (on b10 b9)
    (on b11 b4)
    (on b12 b16)
    (on b14 b11)
    (on b15 b6))))
